Use true/false to configure documentation, man pages

diff --git a/debian/rules b/debian/rules
index 69da22110e5b8f6e05614e1eeb6faef894a138d7..6b74a2ae462fdffbfe98d265bc4fdf7f87e19fb3 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -120,7 +120,7 @@ configure_flags_deb += -Dwayland-backend=true
 endif
 
 ifeq ($(filter %-doc,$(binaries)),)
-configure_flags_deb += -Ddocumentation=no -Dman-pages=no
+configure_flags_deb += -Ddocumentation=false -Dman-pages=false
 endif
 
 configure_flags_udeb = \